This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Lire la suiteThis book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software ...
Lire la suiteThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lire la suiteThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lire la suiteThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lire la suiteThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lire la suiteEfforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
Lire la suiteEfforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
Lire la suiteThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
Lire la suiteThis book argues that the key problems of software systems development (SSD) are socio-technical rather than purely technical ...
Lire la suiteThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
Lire la suiteThis book considers the potential and limitations of the various mathematical approaches and thereby aims to give a balanced ...
Lire la suiteThis book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...
Lire la suiteThis book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March ...
Lire la suiteThis book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...
Lire la suiteThis book constitutes the refereed proceedings of the 13th International Conference on the Quality of Information and Communications ...
Lire la suiteThis book constitutes the proceedings of the 3rd European Workshop on Software Architecture (EWSA 2006) provided an internationalforumforresearchersandpractitionersfromacademiaandindustry ...
Lire la suiteThis book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
Lire la suiteConstitutes the refereed proceeding of the 12th European Software Process Improvement Conference, EuroSPI 2005, held in Budapest, ...
Lire la suiteThis volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...
Lire la suite